منابع مشابه
Exhaustive test sets for algebraic specification correctness
In the context of testing from algebraic specifications, a first natural testing hypothesis is to suppose that programs and test cases are denoted respectively, by Σ-algebras and ground formulas. Hence, the test case interpretation is defined with respect to the formula satisfaction. So, the set of test cases is a subset of semantic consequences restricted to ground formulas with often further ...
متن کاملQuantifying in-use PM measurements for heavy duty diesel vehicles.
Heavy duty emissions regulations have recently expanded from the laboratory to include in-use requirements. This paradigm shift to in-use testing has forced the development of portable emissions measurement systems (PEMS) for particulate matter (PM). These PM measurements are not trivial for laboratory work, and are even more complex for in-use testing. This study evaluates five PM PEMS in comp...
متن کاملVehicular Air Pollution Modeling For Diesel Driven Vehicles
-Pollution in air is generated by the developments, which typically occur as the country gradually shifts towards industrialization, due to city growth, increasing traffic, rapid economic development, and higher levels of energy consumption. Indian cities are among the most polluted cities in the world. The main source of air pollution in Indian metropolitan cities is petrol and diesel driven v...
متن کاملSynthesis of locally exhaustive test pattern generators
Optirnized locally exlzaustive test patterti yetietators bused on linear sunis promise a low overhead, bur ha\,e an irregular structure. The puper presents a new 0180t.ithm able to compute the linear sunis fo r real circuiis up to several h i d r e d s of inputs arid outpurs. The idea is to substitute a strategy of introducing fresh variables irito an array of sums fo r the former linear indepe...
متن کاملExhaustive Test-case Generation using Symbolic Execution
Software testing has been one of the major challenges in the development of software for enterprise systems because it accounts for 30% to 50% of the total development cost required. Meanwhile, such testing has become increasingly important, because the upcoming paradigm for information and communications technology (ICT) system development, such as test-driven development and continuous integr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Environmental Science & Technology
سال: 2001
ISSN: 0013-936X,1520-5851
DOI: 10.1021/es0122694